#!/bin/sh
# 'exec $@' can run executable files even if the
# executable bit is not set...

if [ -x "$@" ] ; then
	exec "$@"
fi

